$\Sigma\leq$$e$($X$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$local{-}state($\lambda$$x$,$y$. $x$+$y$;0;$X$;$e$)